Evaluating Adaptability of Software Systems Based on Algebraic Equivalency
نویسندگان
چکیده
Adaptability evaluation of software systems is one of the key concerns in both software engineering and requirements engineering. In this paper, we present a formal and systematic approach to evaluate adaptability of software systems to requirements in enterprise business applications. Our approach consists of three major parts, that is, the common modeling method for both business realms and software realms, functional adaptability evaluation between the models with Σ algebra and behavioral adaptability evaluation with process algebra. By our approach, one can rigorously and uniquely determine whether a software system is adaptable to the requirements, either totally or partially. A sample application from an order processing is illustrated to show how this approach is effective in solving the adaptability evolution problem. key words: formal method, colored Petri nets, software adaptability, process algebra, business process modeling
منابع مشابه
A Formal Approach to Software Composition in Component Based Software Development
Complicated and sophisticated requirements to today’s huge and complex software systems cause the following serious problems. 1. Difficulties in developing software systems reflecting many requirements which are mutually interrelated. (There could be various gaps between the requirements and the implementations.) 2. Difficulties in maintaining large-scale systems caused by additional and adhoc ...
متن کاملA Software for Prediction of Periodic Response of Non-linear Multi Degree of Freedom Rotors Based on Harmonic Balances
It is the purpose of this paper to introduce a computer software that is developed for the analysis of general multi degree of freedom rotor bearing systems with non-linear support elements. A numerical-analytical method for the prediction of steady state periodic response of large order nonlinear rotor dynamic systems is addressed which is based on the harmonic balance technique. By utilizing ...
متن کاملAdaptability Evaluation at Software Architecture Level
Quality of software is one of the major issues in software intensive systems and it is important to analyze it as early as possible. An increasingly important quality attribute of complex software systems is adaptability. Software architecture for adaptive software systems should be flexible enough to allow components to change their behaviors depending upon the environmental and stakeholders' ...
متن کاملON ALGEBRAIC AND COALGEBRAIC CATEGORIES OF VARIETY-BASED TOPOLOGICAL SYSTEMS
Motivated by the recent study on categorical properties of latticevalued topology, the paper considers a generalization of the notion of topological system introduced by S. Vickers, providing an algebraic and a coalgebraic category of the new structures. As a result, the nature of the category TopSys of S. Vickers gets clari ed, and a metatheorem is stated, claiming that (latticevalu...
متن کاملAdaptability Evaluation of Enterprise Information Systems Based on Object-based Knowledge Mesh
To apply enterprise information systems more widely, it is necessary to evaluate their adaptability. In this paper, firstly, an index set of adaptability evaluation system based on object-based knowledge mesh (OKM) is proposed and then, according to goal-question-metrics (GQM) for enterprise information systems, and the quantitative measurement is given. Second, based on similarity to ideal sol...
متن کامل